program synthesis中文是什么意思

發(fā)音:

中文翻譯
造句

程序語法
程序綜合

synthesis n. (pl. -ses ) 綜合，【化學(xué)】合成；【邏輯 ...
automatic program synthesis 自動程序綜合
logical program synthesis 邏輯程序合成
ship synthesis program 船舶綜合程序; 船舶綜合分析程序
structural synthesis design program 結(jié)構(gòu)綜合設(shè)計程序
synthesis of the object program 結(jié)果程序的綜合
for synthesis 合成用
synthesis n. (pl. -ses ) 綜合，【化學(xué)】合成；【邏輯學(xué)】綜合(法)；【語言學(xué)】綜合(性)；語詞的合成；【醫(yī)學(xué)】接合；【物理學(xué)】合成綜合。
the program 叛逆贏家
this program 這個程序
to program 編程; 編制程序; 程序編制
abiotic synthesis 非生物合成
active synthesis 有源綜合
additive synthesis 附加合成
admittance synthesis 導(dǎo)納綜合
alfene synthesis 鋁烯合成法
alfol synthesis 鋁醇合成法
alternative synthesis 別種合成法
amidine synthesis 脒合成
ammonia synthesis 氨的合成; 氨合成法; 合成氨
analog synthesis 模擬綜合
analysis and synthesis 分析和綜合; 分析與綜合
analysis by synthesis 綜合分析
anodic synthesis 陽極合成

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

百科解釋

Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to automatically construct a program that provably satisfies a given high-level specification.

詳細(xì)百科解釋

推薦英語閱讀

program synthesis的中文翻譯，program synthesis是什么意思，怎么用漢語翻譯program synthesis，program synthesis的中文意思，program synthesis的中文，program synthesis in Chinese，program synthesis的中文，program synthesis怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。